<h3>Proofs of parameterization of formularies through available implementations into this library</h3>